On the decidability of $k$-Block determinism

نویسندگان

  • Pascal Caron
  • Ludovic Mignot
  • Clément Miklarz
چکیده

Brüggemann-Klein and Wood define a one-unambiguous regular language as a language that can be recognized by a deterministic Glushkov automaton. They give a procedure performed on the minimal DFA, the BW-test, to decide whether a language is one-unambiguous. Block determinism is an extension of one-unambiguity while considering non-empty words as symbols and prefix-freeness as determinism. A block automaton is compact if it does not have two equivalent states (same right language). We showed that a language is k-block deterministic if it is recognized by some deterministic k-block automaton passing the BW-test. In this paper, we show that any k-block deterministic language is recognized by a compact deterministic k-block automaton passing the BW-test. We also give a procedure which enumerates, for a given language, the finite set of compact deterministic k-block automata. It gives us a decidable procedure to test whether a language is k-block deterministic.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the Hierarchy of Block Deterministic Languages

A regular language is k-lookahead deterministic (resp. k-block deterministic) if it is specified by a k-lookahead deterministic (resp. k-block deterministic) regular expression. These two subclasses of regular languages have been respectively introduced by Han and Wood (k-lookahead determinism) and by Giammarresi et al. (k-block determinism) as a possible extension of one-unambiguous languages ...

متن کامل

Social and Ethical Responsibility against Social Determinism

Background: Because of the highlighted role of ethical responsibility in social and individual life, it is looked as an important issue in ethics area. Social responsibility that is defined as a sub-factor of ethical responsibility will have such an important place. What is discussed in responsibility discussions commonly is the “human will”. Responsibility is more based on the free will. In th...

متن کامل

A comparative study of Determinism in the poems of IlyaAbuMadi, Khayyam and Hafiz

     The question of determinism is one of the very old issues that has always preoccupied human mind. The key question is whether one is autonomous in onechr('39')s actions or they do not have any intentional behavior and that all they do is through deterministic measures. In this descriptive-analytic article, we attempt to examine the issue of determinism and authoritarianism in the poems of ...

متن کامل

Prediction of marital adjustment based on attachment styles and deterministic thinking of couples among students

Choosing spouse and entering into marriage is a turning point in the growth and character development. Certainly, the choice of partner is one of the most important decisions in life. The aim of this study was to determine the predictive value of marital adjustment through study of variables of attachment and determinism as predictors of marital adjustment. The study used a correlation method a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1705.10625  شماره 

صفحات  -

تاریخ انتشار 2017